Exercise relationalgebra.cnf
Description
To conjunctive normal form
| Code | relationalgebra.cnf |
| Status | Alpha |
| Strategy | tocnf |
| Rules | 20 |
| Buggy rules | 12 |
| OpenMath support | yes |
| Restartable strategy | yes |
| Exercise generator | yes |
| Examples | 0 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult